Design and Realization of a Knowledge-based System that Supports the Setting into Operation of Hydraulic Systems

The task of setting a hydraulic system into operation constitutes some kind of configuration problem. To be more specific, this task is comprised of several configuration checking problems placed at different levels of abstraction. Configuration technology as developed in the past is only partly capable to cope with these checking problems. The reason for this is that the checking of a hydraulic system encloses the composition and simulation of behavior descriptions. By contrast does standard configuration technology usually deal either with objects that are described at a more abstract level or with systems whose composition process can be structured in a particular way. This report describes how the checking of hydraulic systems can be automated. First, it develops a formal basis for behavior-based configuration problems, from which the hydraulic checking problem represents an instance. Grounding in this formal framework the necessary concepts for the representation and processing of hydraulic knowledge are introduced. A large part of these concepts has been operationalized in the knowledge-based system art deco , which will be sketched out as well. The last chapter of this report addresses the diagnosis of hydraulic systems.